]>
| author | Cosimo Cecchi <cosimoc@gnome.org> | |
| Sun, 1 Sep 2013 20:03:59 +0000 (13:03 -0700) | ||
| committer | Cosimo Cecchi <cosimoc@gnome.org> | |
| Wed, 14 Oct 2015 16:10:58 +0000 (12:10 -0400) | ||
| commit | 207c847762b303ffcf9cabfd90d6ae1172c37c69 | |
| tree | f3229f7c45f8d9bcb2e8e5cd0da5c43e4e6807a2 | tree | snapshot |
| parent | 3c980566d3977ca49201d1e54a3895b7da4f62b8 | commit | diff |
| js/ui/windowManager.js | diff | blob | history | |
| src/shell-util.c | diff | blob | history | |
| src/shell-util.h | diff | blob | history |